executions world war 2